Infinitesimal Lifting and Jacobi Criterion for Smoothness on Formal Schemes
نویسنده
چکیده
This a first step to develop a theory of smooth, étale and unramified morphisms between noetherian formal schemes. Our main tool is the complete module of differentials, that is a coherent sheaf whenever the map of formal schemes is of pseudo finite type. Among our results we show that these infinitesimal properties of a map of usual schemes carry over into the completion with respect to suitable closed subsets. We characterize unramifiedness by the vanishing of the module of differentials. Also we see that a smooth morphism of noetherian formal schemes is flat and its module of differentials is locally free. The paper closes with a version of Zariski’s Jacobian criterion.
منابع مشابه
Basic Deformation Theory of Smooth Formal Schemes
We provide the main results of a deformation theory of smooth formal schemes as defined in [2]. Smoothness is defined by the local existence of infinitesimal liftings. Our first result is the existence of an obstruction in a certain Ext group whose vanishing guarantees the existence of global liftings of morphisms. Next, given a smooth morphism f0 : X0 → Y0 of noetherian formal schemes and a cl...
متن کاملLocal Structure Theorems for Smooth Maps of Formal Schemes
We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in [3]. In this paper, we focus on some properties which arise specifically in the formal context. In this vein, we make a detailed study of the relationship between the infinitesimal lifting properties of a morphism of formal schemes and those of the corresponding maps of usual s...
متن کاملLifting of Cohomology and Unobstructedness of Certain Holomorphic Maps
Let / be a holomorphic mapping between compact complex manifolds. We give a criterion for / to have unobstructed deformations, i.e. for the local moduli space of / to be smooth: this says, roughly speaking, that the group of infinitesimal deformations of f, when viewed as a functor, itself satisfies a natural lifting property with respect to infinitesimal deformations. This lifting property is ...
متن کاملMapped Weno Schemes Based on a New Smoothness Indicator for Hamilton-jacobi Equations
In this paper, we introduce an improved version of mapped weighted essentially nonoscillatory (WENO) schemes for solving Hamiton-Jacobi equations. To this end, we first discuss new smoothness indicators for WENO construction. Then the new smoothness indicators are combined with the mapping function developed by Henrick et. al. [24]. The proposed scheme yields fifth-order accuracy in smooth regi...
متن کاملJacobi-bernoulli Cohomology and Deformations of Schemes and Maps
We introduce a notion of Jacobi-Bernoulli cohomology associated to a semisimplicial Lie algebra (SELA). For an algebraic scheme X over C, we construct a tangent SELA TX and show that the Jacobi-Bernoulli cohomology of TX is related to infinitesimal deformations of X.
متن کامل